Hilbert’s program was an ambitious and wide-ranging project in the philosophy and foundations of mathematics. In order to “dispose of the foundational questions in mathematics once and for all,” Hilbert proposed a two-pronged approach in 1921: first, classical mathematics should be formalized in axiomatic systems; second, using only restricted, “finitary” means, one should give proofs of the consistency of these axiomatic systems. Although Gödel’s incompleteness theorems show that the program as originally conceived cannot be carried out, it had many partial (...) successes, and generated important advances in logical theory and metatheory, both at the time and since. The article discusses the historical background and development of Hilbert’s program, its philosophical underpinnings and consequences, and its subsequent development and influences since the 1930s. (shrink)

Logic has pride of place in mathematics and its 20th century offshoot, computer science. Modern symbolic logic was developed, in part, as a way to provide a formal framework for mathematics: Frege, Peano, Whitehead and Russell, as well as Hilbert developed systems of logic to formalize mathematics. These systems were meant to serve either as themselves foundational, or at least as formal analogs of mathematical reasoning amenable to mathematical study, e.g., in Hilbert’s consistency program. Similar efforts continue, but have been (...) expanded by the development of sophisticated methods to study the properties of such systems using proof and model theory. In parallel with this evolution of logical formalisms as tools for articulating mathematical theories (broadly speaking), much progress has been made in the quest for a mechanization of logical inference and the investigation of its theoretical limits, culminating recently in the development of new foundational frameworks for mathematics with sophisticated computer-assisted proof systems. In addition, logical formalisms developed by logicians in mathematical and philosophical contexts have proved immensely useful in describing theories and systems of interest to computer scientists, and to some degree, vice versa. Three examples of the influence of logic in computer science are automated reasoning, computer verification, and type systems for programming languages. (shrink)

The proof theory of many-valued systems has not been investigated to an extent comparable to the work done on axiomatizatbility of many-valued logics. Proof theory requires appropriate formalisms, such as sequent calculus, natural deduction, and tableaux for classical (and intuitionistic) logic. One particular method for systematically obtaining calculi for all finite-valued logics was invented independently by several researchers, with slight variations in design and presentation. The main aim of this report is to develop the proof theory of finite-valued first order (...) logics in a general way, and to present some of the more important results in this area. In Systems covered are the resolution calculus, sequent calculus, tableaux, and natural deduction. This report is actually a template, from which all results can be specialized to particular logics. (shrink)

Methods available for the axiomatization of arbitrary finite-valued logics can be applied to obtain sound and complete intelim rules for all truth-functional connectives of classical logic including the Sheffer stroke and Peirce’s arrow. The restriction to a single conclusion in standard systems of natural deduction requires the introduction of additional rules to make the resulting systems complete; these rules are nevertheless still simple and correspond straightforwardly to the classical absurdity rule. Omitting these rules results in systems for intuitionistic versions of (...) the connectives in question. (shrink)

Textbook on Gödel’s incompleteness theorems and computability theory, based on the Open Logic Project. Covers recursive function theory, arithmetization of syntax, the first and second incompleteness theorem, models of arithmetic, second-order logic, and the lambda calculus.

On the broken myth in the philosophy of religion and theology Abstract. The article deals with the concept of broken myth, thus named by the German theologian and philosopher Paul Tillich (1886 - 1965). The thesis related to this concept is that all religions, including Christianity, use a mythical language. This language is expressing moral truths and metaphysical intuitions, but not the objective facts and states of affairs that may provide knowledge. The broken myth does not imply the rejection of (...) myth as a mere untruth, but rather its split into untruth, which is the garment of the story understood literally, and truth, which is (although not always and to varying degrees) a moral and spiritual inspiration. The broken myth is self-aware, but not discredited. The author formulates six reasons that can speak in favor of such view. He believes that its acceptance by the community of believers can be very difficult, so the traditional discourse of faith, in which one understands literally credo articles (including the notions of mystery and analogy), must be considered not as an anachronism, but as an autonomous partner of dialogue. -/- . (shrink)

My contention is to adumbrate three general premises leading to religious tolerance. The first is that emphasis should be laid much more on ethics than on metaphysics. Religions greatly differ in supernatural beliefs but all advocate justice, love, truthfulness, self-control and other virtues. Second, the beliefs about God are not true in their exact meaning, but rather as remote analogies to scientific truth. Religion is more resemblant of poetry than science. Third, real tolerance consists in the readiness to assimilate some (...) of the values of other religions, since no one has expressed the transcendent in an exhausting and perfect way. Key Words: tolerance, ethics, objective knowledge, world religions, openness for the Other. (shrink)

Zuse proposed that the universe is being computed by some sort of cellular automaton or other discrete computing machinery, challenging the long-held view that some physical laws are continuous by nature. Calculating Space is the title of MIT's English translation of Konrad Zuse's 1969 Rechnender Raum, the first work on digital physics. This is the LaTeX edition by A. German and H. Zenil based on the MIT's English translation with permission from the MIT and Konrad Zuse's son Horst (...) Zuse. Followed by an afterword by A. German and H. Zenil. (shrink)

The author presents a schematic outline of two approaches in contemporary philosophy of technology, the first of which is rather pessimistic, with technological progress seen as a rising force which subjugates humans and, to use Martin Heidegger’s words, “hampers, oppresses and drags them along in its tracks.” Also underscored is the failing relation between scientific and technological progress and moral development. The second approach, presented in reference to the thoughts of Pierre Teilhard de Chardin, interprets scientific and technological progress as (...) the creation of tools enabling the unity of mankind and further evolution. The author supports Teilhard’s view, which he sees as a better motivation to build a better world. (shrink)

The practical aspect of ancient philosophy has been recently made a focus of renewed metaphilosophical investigation. After a brief presentation of three accounts of this kind developed by Martha Nussbaum, Pierre Hadot, and Michel Foucault, the model of the therapeutic argument developed by Nussbaum is called into question from the perspectives offered by her French colleagues, who emphasize spiritual exercise (Hadot) or the care of the self (Foucault). The ways in which the account of Nussbaum can be defended are then (...) discussed, including both a ‘negative’ defense, i.e. the indication of the weaknesses of Hadot and Foucault’s proposals, and a ‘positive’ one focused on the points in which Nussbaum can convincingly address doubts about her metaphilosophical account. In response to these analyses, some further remarks made by Hadot and Foucault are discussed in order to demonstrate that their accounts are not as distant from Nussbaum after all. Finally, a recent metaphilosophical study by John Sellars together with a therapeutic (medical) model developed by the author of the present article are suggested as providing a framework for potential reconciliation between all three accounts discussed and a resource for further metaphilosophical studies. (shrink)

Drawing on a passage from Ramsey's Truth and Probability, we formulate a simple, plausible constraint on evaluating the accuracy of credences: the Calibration Test. We show that any additive, continuous accuracy measure that passes the Calibration Test will be strictly proper. Strictly proper accuracy measures are known to support the touchstone results of accuracy-first epistemology, for example vindications of probabilism and conditionalization. We show that our use of Calibration is an improvement on previous such appeals by showing how it answers (...) or sidesteps problems that have been raised for previous work in this area. (shrink)

The main purpose of this article is to undertake a conceptual investigation of the Berlin Wisdom Paradigm: a psychological project initiated by Paul Baltes and intended to study the complex phenomenon of wisdom. Firstly, in order to provide a wider perspective for the subsequent analyses, a short historical sketch is given. Secondly, a meta-theoretical issue of the degree to which the subject matter of the Baltesian study can be identified with the traditional philosophical wisdom is addressed. The main result yielded (...) by a careful conceptual analysis is that the philosophical and psychological concepts of wisdom, though not entirely the same, are at least parallel. Finally, one of the revealed aspects of the Berlin Wisdom Paradigm, i.e. its relative neglect of the non-cognitive and personal aspects of wisdom is brought to the fore. This deficiency, it is suggested, can be remedied by the application of the virtue ethics' conceptual framework. (shrink)

W tekście rozważane są zagadnienie realności i związana z nim tematyka epistemologiczna w trzecim okresie filozofii Fryderyka Nietzschego. Analizując ten obszar filozofii Nietzschego, autor zwraca szczególną uwagę na problem życia. Opisuje go za pomocą metafory pnącej się wzwyż spirali. Metafora ta rozwijana jest przez autora w kontekście koncepcji „ekstatycznego tańca kratofanicznego” Zbigniewa Kaźmierczaka. Autor rozpoczyna rozważania od interpretacji stanowiska Nietzschego na temat trzech władz poznawczych: świadomości, rozumu i języka metafizycznego. Następnie stara się opisać wpływ, jaki — zdaniem filozofa — wywierają (...) one na powstanie koncepcji realności. Z tego powodu przechodzi do analizy struktury woli. W ostatniej części tekstu autor dokonuje analizy koncepcji realności, zestawiając wyniki badań z metaforą spirali. (shrink)

As we look beyond our terrestrial boundary to a multi-planetary future for humankind, it becomes paramount to anticipate the challenges of various human factors on the most likely scenario for this future: permanent human settlement of Mars. Even if technical hurdles are circumvented to provide adequate resources for basic physiological and psychological needs, Homo sapiens will not survive on an alien planet if a dysfunctional psyche prohibits the utilization of these resources. No matter how far we soar into the stars, (...) our psychologies for future generations will be forever tethered to the totality of our surroundings. By shaping our environment toward survival and welfare during the voyage to Mars and in a Martian colony, we indirectly shape our psyches and prepare them for a mission of unprecedented alienation and duration. Once on Mars, human factors such as leadership structure, social organization and code of conduct, group size, gender balance, developmental cycle, mobility, length of stay and the ecological settings and type and manner of subsistence, will create a novel Martian culture. The degree that settlers are severed from the Earth will affect how radically foreign this culture will be when compared with cultures on Earth. (shrink)

Conceptual analysis, like any exclusively theoretical activity, is far from overrated in current psychology. Such a situation can be related both to the contingent influences of contextual and historical character and to the more essential metatheoretical reasons. After a short discussion of the latter it is argued that even within a strictly empirical psychology there are non-trivial tasks that can be attached to well-defined and methodologically reliable, conceptual work. This kind of method, inspired by the ideas of Ludwig Wittgenstein, Peter (...) Strawson (conceptual grammar), and Gilbert Ryle (conceptual geography), is proposed and formally depicted as being holistic, descriptive, and connective. Finally, the newly presented framework of connective conceptual analysis is defended against the “Charge from Psychology,” in a version developed by William Ramsey, claiming that conceptual analysis is based on psychological assumptions that have already been refuted by empirical psychology. (shrink)

In this paper I consider how theology impacted on the uprising philosophy in ancient Greece. In the €rst part of my text I analyze the concept of theology and philosophy and I want to know the relation between these two ideas. I am especially interested in point of the line separating theology and philosophy. e main question concerning it is when we could say about theology that it is already philosophy, and reversely – when we could say about philosophy that (...) it is still theology in Greek meaning. For the better understanding of the answer of this question I analyze Hesiod’s Teogony. Hesiod of Beotia is accepted as a poet and theologian and that is why I pay attention to him in the second part of my text. (shrink)

A questão “por quê ser moral”, que foi formulada expressamente no contexto do debate filosófico acadêmico por Francis Herbert Bradley, divide os leitores quando buscam sua resposta em Kant. Uns acham, como Gerold Prauss, que Kant negue a possibilidade de tal resposta e diga que a moral precisa ser aceita como um fato simplesmente dado, o “fato da razão”. Contudo, como tal imediatismo ou “decisionismo transcendental” parece insatisfatório, um outro grupo defende a assim chamada “interpretação do agente racional”, onde este (...) último apresenta o valor supremo, absoluto, que fundamenta a moral e, com isso, apresenta a razão em virtude da qual devemos agir moralmente. Mas tal valor absoluto ou já é moral, mas então a resposta dada à questão “por quê ser moral” entra num círculo vicioso. Ou tal valor faz a moral depender de algo fora da moral o que, conforme Kant, destruiria toda moral. A solução do problema é a seguinte: Kant não deriva a moral de um pressuposto extramoral nem pressupõe a própria moral como simplesmente dada, mas explica o originar da moral. Ela origina da razão prática pela volta dessa razão sobre si mesma que constitui sua autonomia. Por este seu originar, a moral não é uma mera derivação de algo pressuposto, mas algo radicalmente novo, original, autónomo. Pelo outro lado, existe, sim, uma fundamentação da moral, i.e., um processo compreensível de sua constituição. Com isso, Kant evita o imediatismo: a moral não precisa ser simplesmente aceita como um fato puro, mas pode ser compreendida pela razão. (shrink)

Some features of Hegel’s Philosophy of History make it hardly acceptable in the 21st century. It proposes a final destination (Endzweck) of history, together with a principle of rational, dialectic necessity to take it there. In fact, these conceptions are not as absurd as they may seem to contemporary eyes. Nevertheless, the article doesn’t pretend to defend them, but aims to show that there is, behind these two, a third principle which is well worth to be defended –and which, in (...) fact, can systematically maintained without support from the other two. This we can call the “Principle of ethical asymmetry in history”. However, we also can name it by the formula Hegel himself coined: the “progress in the consciousness of liberty”. To explain this idea, the article evidences that the fundamental characteristic of all normativity is practical knowledge de se. In morality or ethics, this turns reflexive and self-determining. Liberty in Hegel’s sense effectively realizes this knowledge de se not only in a formal and abstract way, as in Kant, but concretely in history and in specific communities. However, since liberty in this process always remains linked to that normative self-comprehension which constitutes our practical self-consciousness, the processes of historical realization of liberty are normatively irreversible. Precisely for this process has an element of objective and unconditional aspect. The article concludes with some remarks as to how this principle of ethical asymmetry in history can serve as a basis of e new ethical theory which is strongly normative and, at the same time, sensitive to historic context an human finitude. (shrink)

The global spread of severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2) or coronavirus disease 19 (COVID-19) has led to the imposition of severely restrictive measures by governments in the Western hemisphere. We feel a contrast between these measures and our freedom. This contrast, we argue, is a false perception. It only appears to us because we look at the issue through our contemporary moral philosophy of utilitarianism and an understanding of freedom as absence of constraints. Both these views can be (...) substituted with more sophisticated alternatives, namely an ethics of virtue and a notion of freedom of the will. These offer a fuller picture of morality and enable us to cooperate with the current restrictions by consciously choosing to adhere to them instead of perceiving them as draconian and immoral. We ask whether we should collaborate with the restrictions and argue that considerations of virtue will lead to an affirmative answer. More broadly, virtue ethics permits to deal with the practical concerns about how an individual should behave during this pandemic, given the current lockdown measures or lack thereof. -/- In section 1, we present how utilitarianism and a notion of freedom as negative liberty support the opposition to restrictive measures. In section 2, we outline an alternative based on an ethics of virtue and a more elaborated notion of free will. In the concluding section 3, we argue that considerations of virtue should guide the individual and public response to the emergency. (shrink)

Many eminent philosophers of religion and theologians have postulated metaphorical understanding of religious dogmas instead of a literal one. Despite differences all have been sympathetic to Christian moral tradition and to religion in general. They proclaim a "third way" beyond traditional theism and atheism. The metaphorical approach to religious beliefs has gathered momentum in the context of the processes of globalization. The Church however defends traditional, literal interpretation of its dogmas. First, the difference between literal and metaphorical understanding of religious (...) dogmas is explained. Then reasons for and against each position are examined with a conclusion that instead of the “subsumption” of the one paradigm by another, for the undefinite future both should be treated as a justified and autonomous discourses remaining in a dialogue. (shrink)

Kant mostra que uma teoria fundamental da normatividade e da moralidade não pode dar nem uma explanação nem uma prova da normatividade, mas apenas pode articular e explicitar sua origem. Ela pode fazer isso indicando o lugar ou o topos e a virada ou a trope de seu originar. Conforme Kant, o topos da normatividade é a vontade enquanto razão prática e sua trope é o uso geral desta razão que tipicamente é instrumental, no sentido da reflexão. A trope da (...) origem da moralidade é a autonomia, i.e., a virada da razão prática sobre si mesma, tornando-se pura neste ato. Nisso, a razão prática estabelece sua própria forma como lei para si mesma, na forma do imperativo categórico. Em consequência disso, a ética fundamental serve duas funções : formalmente, ela fornece evidência da originalidade e autenticidade da moralidade; materialmente, ela fornece um princípio criteriológico para o conteúdo da moralidade. O artigo argumenta que Kant estava certo em sua visão da fundamentação da ética, mas estava errado com relação à maneira como ele tentou cumprir as exigências estabelecidas. O topos da normatividade e, em consequência disso, da moralidade, não pode ser a razão, mas precisa ser a consciência ou, mais exatamente, o saber de se ; e sua trope fundamental não pode ser reflexão e, depois, autonomia, mas precisa ser o que pode ser descrito como conversão da consciência. Essa conversão pode ser identificada com o philein no sentido de Aristóteles. Este “amar amigável” tem quatro aspectos diferentes: desejo, cognição, benevolência e reconhecimento. Quando este philein for recíproco e estiver continuamente vivido, nasce a philia, a amizade. Essa é descrita, consequentemente, como o topos da origem de normatividade e moralidade. (shrink)

Philosophie stellt den Bezug zur Weisheit bereits in ihrem Namen (philo-sophia) her. So selbstverständlich dies ist, so spannungsgeladen ist deren Verhältnis. Denn Philosophie und Weisheit sind Korrespondenz- und Reibungsbegriffe gleichermaßen. Es mag daher auf den ersten Blick verwundern oder eben nicht, dass sich seit der Neuzeit der bis dahin konstitutive Zusammenhang von Philosophie und Weisheit zunehmend auflöst bis dahin, dass es die Philosophie seit dem 19. Jahrhundert weit von sich weist, mit Weisheit überhaupt in einen Zusammenhang gebracht zu werden (1.) (...) Unter den Bedingungen der Moderne ist es daher schwierig, über historische Aussagen hinaus Auskunft über das zu geben, was mit Weisheit aus Sicht der Philosophie gemeint ist und wie sie philosophisch zu verstehen ist. -/- Dieser misslichen Situation ist nur dadurch zu entgehen, dass man versucht, die innere Logik dieses Auflösungsprozesses zu rekonstruieren, um die Möglichkeiten einer heutigen Rede von Weisheit auszuloten. Bei diesem philosophiegeschichtlichen Rekonstruktionsversuch zeigt sich, dass Weisheit und Vernunft eine Symbiose eingegangen sind. Zum Wesen der Vernunft gehört es, kohärente Ordnungen zu erkennen und ggf. Ordnungen allererst zu stiften, wobei von Ordnung immer dann gesprochen werden kann, wenn Differentes zu einer Einheit verbunden ist. In der Geschichte der Philosophie wird Weisheit, Vernunft und Geordnetheit von drei Vernunftinstanzen ausgesagt: von Gott (als absoluter Weisheit), von der Welt (als objektiv gewordener Weisheit oder kosmischer Weisheit) und vom Menschen (als subjektiv-endlicher Weisheit). Weisheit wird diesen Instanzen deshalb zugeschrieben, weil sie – wenngleich in je unterschiedlicher Weise – über Vernunft verfügen, die wir immer dort vermuten, wo wir begründet eine Ordnung im Sinne einer Einheit von Differentem unterstellen können. Weisheit ist mithin eine Syntheseleistung. Und Aufgabe des Weisen ist es, Ordnung zu stiften (2.). -/- Der Auflösungsprozess von Philosophie und Weisheit erweist sich auf diesem Hintergrund nicht als zufälliger Betriebsunfall der Philosophiegeschichte, sondern folgt einer Logik, die sich aus den wandelnden Inbeziehungsetzungen der drei Vernunft- und Weisheitsinstanzen ergibt. In der Antike kommt dem Kosmos als Weisheitsinstanz der Primat zu; im Mittelalter der absoluten Weisheit Gottes und in der Neuzeit dem endlichen Vernunftsubjekt. Sein sich zunehmend steigernder Anspruch auf Freiheit jedoch, der sich als philosophiegeschichtlich-neuzeitlicher Reflex auf einen „Betriebsunfall“ des Spätmittelalters, die Übersteigerung des Theorems der Allmacht Gottes, lesen lässt, verträgt sich schlussendlich nicht einmal mehr mit der Bindung an irgendein Weisheitsideal (3.). Soll Weisheit in diesem „Kommerzium der Freiheit“ (Hermann Krings) als Orientierungsgröße noch eine Chance haben, dann muss sie als Kompetenz bestimmt werden, das unter Freiheitsbedingungen fast Unmögliche zu leisten, nämlich Ordnung und Ordnungen aus Freiheit zu stiften: „Sapientis est ordinare!“. (shrink)

The predominant approaches to understanding how quantum theory and General Relativity are related to each other implicitly assume that both theories use the same concept of mass. Given that despite great efforts such approaches have not yet produced a consistent falsifiable quantum theory of gravity, this paper entertains the possibility that the concepts of mass in the two theories are in fact distinct. It points out that if the concept of mass in quantum mechanics is defined such that it always (...) exists in a superposition and is not a gravitational source, then this sharply segregates the domains of quantum theory and of general relativity. This concept of mass violates the equivalence principle applied to active gravitational mass, but may still produce effects consistent with the equivalence principle when applied to passive gravitational mass (in agreement with observations) by the correspondence principle applied to a weak field in the appropriate limit. An experiment that successfully measures the gravity field of quantum objects in a superposition, and in particular of photons, would not only falsify this distinction but also constitute the first direct empirical test that gravity must in fact be described fundamentally by a quantum theory. (shrink)

I develop a distinction between two types of psychological hedonism. Inferential hedonism (or “I-hedonism”) holds that each person only has ultimate desires regarding his or her own hedonic states (pleasure and pain). Reinforcement hedonism (or “R–hedonism”) holds that each person's ultimate desires, whatever their contents are, are differentially reinforced in that person’s cognitive system only by virtue of their association with hedonic states. I’ll argue that accepting R-hedonism and rejecting I-hedonism provides a conciliatory position on the traditional altruism debate, and (...) that it coheres well with the neuroscientist Anthony Dickinson’s theory about the evolutionary function of hedonic states, the “hedonic interface theory.” Finally, I’ll defend R-hedonism from potential objections. (shrink)

Effective altruism sounds so innocuous—who could possibly be opposed to doing good more effectively? Yet it has inspired significant backlash in recent years. This paper addresses some common misconceptions and argues that the core “beneficentric” ideas of effective altruism are both excellent and widely neglected. Reasonable people may disagree on details of implementation, but all should share the basic goals or values underlying effective altruism.

Some of the most important developments of symbolic logic took place in the 1920s. Foremost among them are the distinction between syntax and semantics and the formulation of questions of completeness and decidability of logical systems. David Hilbert and his students played a very important part in these developments. Their contributions can be traced to unpublished lecture notes and other manuscripts by Hilbert and Bernays dating to the period 1917-1923. The aim of this paper is to describe these results, focussing (...) primarily on propositional logic, and to put them in their historical context. It is argued that truth-value semantics, syntactic ("Post-") and semantic completeness, decidability, and other results were first obtained by Hilbert and Bernays in 1918, and that Bernays's role in their discovery and the subsequent development of mathematical logic is much greater than has so far been acknowledged. (shrink)

This paper draws on the 'Fitting Attitudes' analysis of value to argue that we should take the concept of fittingness (rather than value) as our normative primitive. I will argue that the fittingness framework enhances the clarity and expressive power of our normative theorising. Along the way, we will see how the fittingness framework illuminates our understanding of various moral theories, and why it casts doubt on the Global Consequentialist idea that acts and (say) eye colours are normatively on a (...) par. We will see why even consequentialists, in taking rightness to be in some sense determined by goodness, should not think that rightness is conceptually reducible to goodness. Finally, I will use the fittingness framework to explicate the distinction between consequentialist and deontological theories, with particular attention to the contentious case of Rule Consequentialism. (shrink)

In Mind and World, John McDowell argues against the view that perceptual representation is non-conceptual. The central worry is that this view cannot offer any reasonable account of how perception bears rationally upon belief. I argue that this worry, though sensible, can be met, if we are clear that perceptual representation is, though non-conceptual, still in some sense 'assertoric': Perception, like belief, represents things as being thus and so.

What we value, like, endorse, want, and prefer changes over the course of our lives. Richard Pettigrew presents a theory of rational decision making for agents who recognise that their values will change over time and whose decisions will affect those future times.

Angell's logic of analytic containment AC has been shown to be characterized by a 9-valued matrix NC by Ferguson, and by a 16-valued matrix by Fine. We show that the former is the image of a surjective homomorphism from the latter, i.e., an epimorphic image. The epimorphism was found with the help of MUltlog, which also provides a tableau calculus for NC extended by quantifiers that generalize conjunction and disjunction.

There is too much that we do not know about COVID-19. The longer we take to find it out, the more lives will be lost. In this paper, we will defend a principle of risk parity: if it is permissible to expose some members of society (e.g. health workers or the economically vulnerable) to a certain level of ex ante risk in order to minimize overall harm from the virus, then it is permissible to expose fully informed volunteers to a (...) comparable level of risk in the context of promising research into the virus. We apply this principle to three examples of risky research: skipping animal trials for promising treatments, human challenge trials to speed up vaccine development, and low-dose controlled infection or “variolation.” We conclude that if volunteers, fully informed about the risks, are willing to help fight the pandemic by aiding promising research, there are strong moral reasons to gratefully accept their help. To refuse it would implicitly subject others to still graver risks. (shrink)

This paper applies a virtue epistemology approach to using the Internet, as to improve our information-seeking behaviours. Virtue epistemology focusses on the cognitive character of agents and is less concerned with the nature of truth and epistemic justification as compared to traditional analytic epistemology. Due to this focus on cognitive character and agency, it is a fruitful but underexplored approach to using the Internet in an epistemically desirable way. Thus, the central question in this paper is: How to use the (...) Internet in an epistemically virtuous way? Using the work of Jason Baehr, it starts by outlining nine intellectual or epistemic virtues: curiosity, intellectual autonomy, intellectual humility, attentiveness, intellectual carefulness, intellectual thoroughness, open-mindedness, intellectual courage and intellectual tenacity. It then explores how we should deploy these virtues and avoid the corresponding vices when interacting with the Internet, particularly search engines. Whilst an epistemically virtuous use of the Internet will not guarantee that one will acquire true beliefs, understanding or even knowledge, it will strongly improve one’s information-seeking behaviours. The paper ends with arguing that teaching and assessing online intellectual virtues should be part of school and university curricula, perhaps embedded in critical thinking courses, or even better, as individual units. (shrink)

In this paper, we seek a reliabilist account of justified credence. Reliabilism about justified beliefs comes in two varieties: process reliabilism (Goldman, 1979, 2008) and indicator reliabilism (Alston, 1988, 2005). Existing accounts of reliabilism about justified credence comes in the same two varieties: Jeff Dunn (2015) proposes a version of process reliabilism, while Weng Hong Tang (2016) offers a version of indicator reliabilism. As we will see, both face the same objection. If they are right about what justification is, it (...) is mysterious why we care about justification, for neither of the accounts explains how justification is connected to anything of epistemic value. We will call this the Connection Problem. I begin by describing Dunn’s process reliabilism and Tang’s indicator reliabilism. I argue that, understood correctly, they are, in fact, extensionally equivalent. That is, Dunn and Tang reach the top of the same mountain, albeit by different routes. However, I argue that both face the Connection Problem. In response, I offer my own version of reliabilism, which is both process and indicator, and I argue that it solves that problem. Furthermore, I show that it is also extensionally equivalent to Dunn’s reliabilism and Tang’s. Thus, I reach the top of the same mountain as well. (shrink)

Satisficing Consequentialism is often rejected as hopeless. Perhaps its greatest problem is that it risks condoning the gratuitous prevention of goodness above the baseline of what qualifies as "good enough". I propose a radical new willpower-based version of the view that avoids this problem, and that better fits with the motivation of avoiding an excessively demanding conception of morality. I further demonstrate how, by drawing on the resources of an independent theory of blameworthiness, we may obtain a principled specification of (...) what counts as "good enough". (shrink)

According to certain normative theories in epistemology, rationality requires us to be logically omniscient. Yet this prescription clashes with our ordinary judgments of rationality. How should we resolve this tension? In this paper, I focus particularly on the logical omniscience requirement in Bayesian epistemology. Building on a key insight by Hacking :311–325, 1967), I develop a version of Bayesianism that permits logical ignorance. This includes: an account of the synchronic norms that govern a logically ignorant individual at any given time; (...) an account of how we reduce our logical ignorance by learning logical facts and how we should update our credences in response to such evidence; and an account of when logical ignorance is irrational and when it isn’t. At the end, I explain why the requirement of logical omniscience remains true of ideal agents with no computational, processing, or storage limitations. (shrink)

Utilitarianism is often rejected on the grounds that it fails to respect the separateness of persons, instead treating people as mere “receptacles of value”. I develop several different versions of this objection, and argue that, despite their prima facie plausibility, they are all mistaken. Although there are crude forms of utilitarianism that run afoul of these objections, I advance a new form of the view—‘token-pluralistic utilitarianism’—that does not.

In The Boundary Stones of Thought, Rumfitt defends classical logic against challenges from intuitionistic mathematics and vagueness, using a semantics of pre-topologies on possibilities, and a topological semantics on predicates, respectively. These semantics are suggestive but the characterizations of negation face difficulties that may undermine their usefulness in Rumfitt’s project.

Conditionalization is one of the central norms of Bayesian epistemology. But there are a number of competing formulations, and a number of arguments that purport to establish it. In this paper, I explore which formulations of the norm are supported by which arguments. In their standard formulations, each of the arguments I consider here depends on the same assumption, which I call Deterministic Updating. I will investigate whether it is possible to amend these arguments so that they no longer depend (...) on it. As I show, whether this is possible depends on the formulation of the norm under consideration. (shrink)

Disagreement is common: even informed, intelligent, and generally reasonable people often come to different conclusions when confronted with what seems to be the same evidence. Can the competing conclusions be reasonable? If not, what can we reasonably think about the situation? This volume examines the epistemology of disagreement. Philosophical questions about disagreement arise in various areas, notably politics, ethics, aesthetics, and the philosophy of religion: but this will be the first book focusing on the general epistemic issues arising from informed (...) disagreement. Ten leading philosophers offer specially written essays which together will offer a starting-point for future work on this topic. (shrink)

Critics have often misunderstood the higher-order theory (HOT) of consciousness. Here we clarify its position on several issues, and distinguish it from other views such as the global The higher-order theory (HOT) of consciousness has often been misunderstood by critics. Here we clarify its position on several issues, and distinguish it from other views such as the global workspace theory (GWT) and early sensory models (e.g. first-order local recurrency theories). For example, HOT has been criticized for over-intellectualizing consciousness. We show (...) that while higher-order states are cognitively assembled, the requirements are actually considerably less than often presumed. In this sense HOT may be viewed as an intermediate position between GWT and early sensory views. Also, we clarify that most proponents of HOT do not stipulate consciousness as equivalent to metacognition or confidence. Further, compared to other existing theories, HOT can arguably account better for complex everyday experiences, such as of emotions and episodic memories. This makes HOT particularly useful as a framework for conceptualizing pathological mental states. (shrink)

David Hilbert's finitistic standpoint is a conception of elementary number theory designed to answer the intuitionist doubts regarding the security and certainty of mathematics. Hilbert was unfortunately not exact in delineating what that viewpoint was, and Hilbert himself changed his usage of the term through the 1920s and 30s. The purpose of this paper is to outline what the main problems are in understanding Hilbert and Bernays on this issue, based on some publications by them which have so far received (...) little attention, and on a number of philosophical reconstructions of the viewpoint (in particular, by Hand, Kitcher, and Tait). (shrink)

This Element, written for researchers and students in philosophy and the behavioral sciences, reviews and critically assesses extant work on number concepts in developmental psychology and cognitive science. It has four main aims. First, it characterizes the core commitments of mainstream number cognition research, including the commitment to representationalism, the hypothesis that there exist certain number-specific cognitive systems, and the key milestones in the development of number cognition. Second, it provides a taxonomy of influential views within mainstream number cognition research, (...) along with the central challenges these views face. Third, it identifies and critically assesses a series of core philosophical assumptions often adopted by number cognition researchers. Finally, the Element articulates and defends a novel version of pluralism about number concepts. (shrink)

In this article, I outline various ways in which artifacts are interwoven with autobiographical memory systems and conceptualize what this implies for the self. I first sketch the narrative approach to the self, arguing that who we are as persons is essentially our (unfolding) life story, which, in turn, determines our present beliefs and desires, but also directs our future goals and actions. I then argue that our autobiographical memory is partly anchored in our embodied interactions with an ecology of (...) artifacts in our environment. Lifelogs, photos, videos, journals, diaries, souvenirs, jewelry, books, works of art, and many other meaningful objects trigger and sometimes constitute emotionally-laden autobiographical memories. Autobiographical memory is thus distributed across embodied agents and various environmental structures. To defend this claim, I draw on and integrate distributed cognition theory and empirical research in human-technology interaction. Based on this, I conclude that the self is neither defined by psychological states realized by the brain nor by biological states realized by the organism, but should be seen as a distributed and relational construct. (shrink)

Are non-natural properties worth caring about? I consider two objections to metaethical non-naturalism. According to the intelligibility objection, it would be positively unintelligible to care about non-natural properties that float free from the causal fabric of the cosmos. According to the ethical idlers objection, there is no compelling motivation to posit non-natural normative properties because the natural properties suffice to provide us with reasons. In both cases, I argue, the objection stems from misunderstanding the role that non-natural properties play in (...) the non-naturalist's understanding of normativity. The role of non-natural properties is not to be responded to, but to "mark" which natural properties it is correct for us to respond to in certain ways. (shrink)

Conservative assumptions in medical ethics risk immense harms during a pandemic. Public health institutions and public discourse alike have repeatedly privileged inaction over aggressive medical interventions to address the pandemic, perversely increasing population-wide risks while claiming to be guided by ‘caution’. This puzzling disconnect between rhetoric and reality is suggestive of an underlying philosophical confusion. In this paper, I argue that we have been misled by status quo bias—exaggerating the moral significance of the risks inherent in medical interventions, while systematically (...) neglecting the risks inherent in the status quo prospect of an out-of-control pandemic. By coming to appreciate the possibility and significance of status quo risk, we will be better prepared to respond appropriately when the next pandemic strikes. (shrink)

The complementary properties and functions of cognitive artifacts and other external resources are integrated into the human cognitive system to varying degrees. The goal of this paper is to develop some of the tools to conceptualize this complementary integration between agents and artifacts. It does so by proposing a multidimensional framework, including the dimensions of information flow, reliability, durability, trust, procedural transparency, informational transparency, individualization, and transformation. The proposed dimensions are all matters of degree and jointly they constitute a multidimensional (...) space in which situated cognitive systems can be located and have certain dimensional configurations. These dimensions provide a new perspective on the conditions for cognitive extension. They are, however, not meant to provide a set of necessary and sufficient conditions, but to provide a toolbox for investigating the degree and nature of the integration of agent and artifact into “new systemic wholes”. The higher a situated system scores on the proposed dimensions, the more functional integration occurs, and the more tightly coupled the system is. (shrink)

This paper argues that a popular account of intentions can be extended to beliefs. Beliefs are stable all-out states that allow for planning and coordination in a way that is tractable for cognitively limited creatures like human beings. Scepticism is expressed that there is really anything like credences as standardly understood.